-
1 temporal logic
-
2 temporal logic
Большой англо-русский и русско-английский словарь > temporal logic
-
3 temporal logic
1) Вычислительная техника: временная логика2) Программирование: темпоральная логика3) Робототехника: временная логика (в системе логического управления) -
4 temporal logic
English-Russian dictionary of computer science and programming > temporal logic
-
5 temporal logic
-
6 temporal logic
-
7 temporal logic
English-Russian dictionary of computer science > temporal logic
-
8 linear temporal logic
Программирование: линейная темпоральная логика -
9 real-time temporal logic
Программирование: темпоральная логика реального времениУниверсальный англо-русский словарь > real-time temporal logic
-
10 logic
1) логика2) логическая часть, логический узел ( ЭВМ)3) логическая схема; логические схемы, логика•- adaptive logic
- address-comparison logic
- address-recognition logic
- address-selection logic
- all-magnetic logic
- all-transistor logic
- arbitration logic
- arithmetic logic
- binary logic
- bipolar logic
- Boolean logic
- carry determination logic
- cellular logic
- circuit logic
- clocked logic
- closed-cell logic
- combinational logic
- combinatorial logic
- combinatory logic
- command decode logic
- comparison logic
- compatible logic
- complementary transistor logic
- complementary transistor-resistor logic
- computer logic
- constructive logic
- control logic
- core logic
- crisp logic
- current injection logic
- current mode logic
- current sinking logic
- current steering logic
- current-hogging logic
- custom logic
- data manipulation logic
- decryption logic
- degating logic
- derivative logic
- designer choice logic
- design-for-test logic
- differential logic
- digit logic
- diode logic
- diode-emitter coupled logic
- diode-transistor logic
- direct-coupled transistor logic
- distributed logic
- double-rail logic
- emitter-emitter-coupled transistor logic
- emitter-coupled transistor logic
- emitter-emitter-coupled logic
- emitter-coupled logic
- emitter-follower logic
- epistemic logic
- error-checking logic
- failure detection logic
- fault-masking logic
- feature logic
- field-programmable logic
- fluid logic
- formal logic
- fuzzy logic
- glue logic
- hardwired logic
- high-noise-immunity logic
- high-threshold logic
- Hoare logic
- incremental logic
- inferencial logic
- injection-coupled logic
- instruction logic
- integrated injection logic
- interface logic
- interrupt logic
- irregular logic
- Josephson junction logic
- kindred logic
- ladder logic
- level logic
- linearly independent logic
- locked-pair logic
- logic under test
- low level logic
- machine logic
- magneto-optical logic
- majority-vote logic
- majority logic
- many-valued logic
- mathematical logic
- merged logic
- merged-transistor logic
- microprogrammed logic
- microwatt logic
- microwave logic
- modal logic
- modified diode-transistor logic
- morphic logic
- multiple-valued logic
- multi-valued logic
- multiaperture device logic
- multihpase pulse logic
- nanosecond logic
- negative logic
- N-level logic
- nonmonotonic logic
- N-out-of-M logic
- N-valued logic
- on-board logic
- on-chip control logic
- optoelectronic logic
- out-of-order issue logic
- paging logic
- parametron logic
- path programmable logic
- per-bit logic
- philosophical logic
- positive logic
- possibilistic logic
- probabilistic logic
- processing logic
- programmable array logic
- programmable logic
- programmed logic
- quadded logic
- random logic
- random sequential logic
- recovery logic
- reference logic
- regular logic
- relay logic
- relevance logic
- resistor-capacitor-transistor logic
- resistor-coupled transistor logic
- resistor-diode-transistor logic
- resistor-transistor logic
- ripple-carry logic
- save-carry logic
- Schottky transistor-transistor logic
- sector-buffering logic
- self-checking logic
- self-timed logic
- sequential logic
- single-phase pulse logic
- single-sorted logic
- solid-state logic
- stored logic
- structured logic
- switching logic
- symbolic logic
- temporal logic
- ternary logic
- test logic
- three-level logic
- three-state logic
- three-value logic
- threshold logic
- timed-access logic
- timing logic
- transaction logic
- transister logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tube-and-diode logic
- tunnel-diode logic
- two-valued logic
- unconditional logic
- user-definable logic
- variable logic
- variable threshold logic
- vertical injection logic
- wired logic
- wired-OR, wired-AND logic
- word logicEnglish-Russian dictionary of computer science and programming > logic
-
11 temporal
1. a мирской; светский, гражданский2. a временный, скоротечный, преходящий; бренный, тленныйtemporal binding — связь по времени; временная связь
3. a грам. временной4. a стих. различающийся долготой слога5. n височная кость6. n височная артерия7. a анат. височныйСинонимический ряд:1. material (adj.) material; physical; tangible2. materialistic (adj.) banausic; earthy; materialistic; mundane; sensual; worldly3. passing (adj.) brief; ephemeral; evanescent; fleeting; fugitive; momentary; passing; short-lived; temporary; transient; transitory4. secular (adj.) civil; earthly; lay; non-spiritual; profane; secular; terrestrial; unsacredАнтонимический ряд:celestial; clerical; permanent; spiritual -
12 logic
[ˈlɔdʒɪk]belief logic логика веры binary logic вчт. двузначная логика byte-alignment logic вчт. логика перегруппировки байтов command logic вчт. логика команд common-sense logic логика здравого смысла constructive logic конструктивная логика control logic вчт. управляющая логика default logic вчт. логика рассуждений по умолчанию distributed logic вчт. распределенное управление dynamic logic вчт. динамическая логика first order logic логика первого порядка formal logic формальная логика fuzzy logic нечеткая логика inductive logic индуктивная логика intuitionistic logic интуиционистская логика ladder logic вчт. многозвенная логическая схема logic логика logic логическая схема logic логичность monotonic logic монотонная логика multivalued logic многозначная логика non-monotonic logic немонотонная логика operational logic логика действий presumed logic предопределенная логика probabilitic logic вероятностная логика probablistic logic вероятностная логика propositional logic пропозициональная логика pseudophysical logic псевдофизическая логика relevance logic логика определения релевантности second order logic логика второго порядка spatial logic пространственная логика stored logic вчт. зашитый алгоритм system logic вчт. системная логика temporal logic вчт. временная логика ternary logic вчт. трехзначная логика threshold logic пороговая логика two-line logic вчт. двухпроводная логическая схема wasted logic вчт. лишняя логическая схема -
13 temporal
временной, временный, преходящий, скоротечный
– temporal binding
– temporal hierarchy
– temporal knowledge
– temporal logic
– temporal pattern
– temporal relations
-
14 temporal
1. временное искажениеtemporal binding — связь по времени; временная связь
temporal decomposition — временная декомпозиция; временное разложение
2. временныйtemporal knowledge — знания с временной зависимостью; знания зависящие от времени
English-Russian dictionary of Information technology > temporal
-
15 logic
ˈlɔdʒɪk сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. clear logic ≈ четкая логика cold logic ≈ беспристрастная логика irrefutable logic ≈ неопровержимая логика deductive logic ≈ дедуктивная логика formal logic ≈ формальная логика inductive logic ≈ индуктивная логика simple logic ≈ простая логика symbolic logic ≈ символическая логика логика (наука) логика, логичность( аргументации и т. п.) ;
разумность;
закономерность - to argue with * рассуждать логично логика, неизбежный вывод;
неизбежность какого-л. поведения - the * of events логика событий (компьютерное) логическая схема алгоритм( разговорное) здравый смысл - there is no * in spending money on useless things нет никакого смысла /глупо/ тратить деньги на ерунду > to chop * спорить, препираться;
приводить противоречивые доводы belief ~ логика веры binary ~ вчт. двузначная логика byte-alignment ~ вчт. логика перегруппировки байтов command ~ вчт. логика команд common-sense ~ логика здравого смысла constructive ~ конструктивная логика control ~ вчт. управляющая логика default ~ вчт. логика рассуждений по умолчанию distributed ~ вчт. распределенное управление dynamic ~ вчт. динамическая логика first order ~ логика первого порядка formal ~ формальная логика fuzzy ~ нечеткая логика inductive ~ индуктивная логика intuitionistic ~ интуиционистская логика ladder ~ вчт. многозвенная логическая схема logic логика ~ логическая схема ~ логичность monotonic ~ монотонная логика multivalued ~ многозначная логика non-monotonic ~ немонотонная логика operational ~ логика действий presumed ~ предопределенная логика probabilitic ~ вероятностная логика probablistic ~ вероятностная логика propositional ~ пропозициональная логика pseudophysical ~ псевдофизическая логика relevance ~ логика определения релевантности second order ~ логика второго порядка spatial ~ пространственная логика stored ~ вчт. зашитый алгоритм system ~ вчт. системная логика temporal ~ вчт. временная логика ternary ~ вчт. трехзначная логика threshold ~ пороговая логика two-line ~ вчт. двухпроводная логическая схема wasted ~ вчт. лишняя логическая схема -
16 временная логика
Большой англо-русский и русско-английский словарь > временная логика
-
17 logika temporalna
• temporal logicSłownik polsko-angielski z Elektroniki i Informatyki > logika temporalna
-
18 TL
1) Общая лексика: temperature leaving, лидер команды2) Компьютерная техника: Target Language, Template Library3) Авиация: Transit Level ( NATO) (Altitude blocks for deconfliction and identification of inbound/outbound air traffic)4) Медицина: Thiamine Lethal5) Спорт: Tournament Level6) Военный термин: Target Locations, Trailer Life, target list, technical letter, test laboratory, test load, time lengths, total load, transmittal letter, transporter loader, troop leader7) Техника: Top Left, Top Loader, Top Low, Trim And Lining, talk-listen, thermoluminescence, threshold logic, tracker lock, Tan Line( линия сопряжения (обечайки с днищем))8) Шутливое выражение: Terrible Lizard, Tough And Long, Turd Launcher9) Математика: Tree List, Trigram Lines, длительность (time length), продолжительность (time length)11) Грубое выражение: Thrills The Ladies, Tight Lips12) Музыка: Tempo Loss, Tune Light13) Оптика: transforming lens14) Политика: Tokelau15) Телекоммуникации: Telephone Lead16) Сокращение: Civil aircraft marking (Central African Republic), Tagalog, Technical Library, Truck Load (see also LTL), Turkish Lira, Turkish Liras, thrust line, tie line, time limit, trial17) Текстиль: Teeny Little18) Университет: Tech Level, Technology Level, Term Levels19) Физика: Temporal Logic, Time Line, Top Layer20) Физиология: Tubal ligation21) Школьное выражение: Thomas Lincoln22) Электроника: Transmission Loss23) Сленг: комплимент (обычно ответный), когда тот, кому первому сделали комплимент, смущён этим обстоятельством24) Вычислительная техника: transmission level, transmission line, Transform and Lighting (3D), Telecommunication Leadership (standard, QuEST)25) Нефть: temperature log26) Биохимия: Total Lipid27) Рыбоводство: Target Loss28) Банковское дело: ссуда с определённым сроком погашения (time loan)29) Транспорт: The Loop, Touring Luxury, Trailer Load, Truckload30) Пищевая промышленность: Totally Loaded31) Фирменный знак: Transfer Listed, Treasured Learning32) Экология: tolerance limit33) СМИ: The Lattice, Thin Line, Title Line, True Life34) Глоссарий компании Сахалин Энерджи: tangent line35) Инвестиции: time loan36) Сетевые технологии: Transport Layer37) ЕБРР: Team Leader38) Полимеры: time length, tubeless39) Программирование: Type Locality40) Автоматика: tool, transfer line, автоматическая линия41) Полупроводники: tunneling-electron luminescence42) Сахалин Ю: low pressure condensate44) Макаров: термолюминесценция45) Пожарное дело: turntable ladder46) Нефть и газ: telephone, ответственность за ущерб государству и третьим лицам, ответственность за ущерб природе и третьим лицам, ущерб государству и третьим лицам, ущерб природе и третьим лицам, TPL47) Карачаганак: trunk line48) Имена и фамилии: Timothy Leary, Tory Lee, Trent Lott49) Евросоюз: турецкие лиры50) Общественная организация: Tough Love51) Должность: Test Leader52) Чат: True Love53) Программное обеспечение: Top Level54) Единицы измерений: True Length55) СМС: Tough Luck56) Библиотечное дело: Toronto Libraries -
19 Tl
1) Общая лексика: temperature leaving, лидер команды2) Компьютерная техника: Target Language, Template Library3) Авиация: Transit Level ( NATO) (Altitude blocks for deconfliction and identification of inbound/outbound air traffic)4) Медицина: Thiamine Lethal5) Спорт: Tournament Level6) Военный термин: Target Locations, Trailer Life, target list, technical letter, test laboratory, test load, time lengths, total load, transmittal letter, transporter loader, troop leader7) Техника: Top Left, Top Loader, Top Low, Trim And Lining, talk-listen, thermoluminescence, threshold logic, tracker lock, Tan Line( линия сопряжения (обечайки с днищем))8) Шутливое выражение: Terrible Lizard, Tough And Long, Turd Launcher9) Математика: Tree List, Trigram Lines, длительность (time length), продолжительность (time length)11) Грубое выражение: Thrills The Ladies, Tight Lips12) Музыка: Tempo Loss, Tune Light13) Оптика: transforming lens14) Политика: Tokelau15) Телекоммуникации: Telephone Lead16) Сокращение: Civil aircraft marking (Central African Republic), Tagalog, Technical Library, Truck Load (see also LTL), Turkish Lira, Turkish Liras, thrust line, tie line, time limit, trial17) Текстиль: Teeny Little18) Университет: Tech Level, Technology Level, Term Levels19) Физика: Temporal Logic, Time Line, Top Layer20) Физиология: Tubal ligation21) Школьное выражение: Thomas Lincoln22) Электроника: Transmission Loss23) Сленг: комплимент (обычно ответный), когда тот, кому первому сделали комплимент, смущён этим обстоятельством24) Вычислительная техника: transmission level, transmission line, Transform and Lighting (3D), Telecommunication Leadership (standard, QuEST)25) Нефть: temperature log26) Биохимия: Total Lipid27) Рыбоводство: Target Loss28) Банковское дело: ссуда с определённым сроком погашения (time loan)29) Транспорт: The Loop, Touring Luxury, Trailer Load, Truckload30) Пищевая промышленность: Totally Loaded31) Фирменный знак: Transfer Listed, Treasured Learning32) Экология: tolerance limit33) СМИ: The Lattice, Thin Line, Title Line, True Life34) Глоссарий компании Сахалин Энерджи: tangent line35) Инвестиции: time loan36) Сетевые технологии: Transport Layer37) ЕБРР: Team Leader38) Полимеры: time length, tubeless39) Программирование: Type Locality40) Автоматика: tool, transfer line, автоматическая линия41) Полупроводники: tunneling-electron luminescence42) Сахалин Ю: low pressure condensate44) Макаров: термолюминесценция45) Пожарное дело: turntable ladder46) Нефть и газ: telephone, ответственность за ущерб государству и третьим лицам, ответственность за ущерб природе и третьим лицам, ущерб государству и третьим лицам, ущерб природе и третьим лицам, TPL47) Карачаганак: trunk line48) Имена и фамилии: Timothy Leary, Tory Lee, Trent Lott49) Евросоюз: турецкие лиры50) Общественная организация: Tough Love51) Должность: Test Leader52) Чат: True Love53) Программное обеспечение: Top Level54) Единицы измерений: True Length55) СМС: Tough Luck56) Библиотечное дело: Toronto Libraries -
20 tl
1) Общая лексика: temperature leaving, лидер команды2) Компьютерная техника: Target Language, Template Library3) Авиация: Transit Level ( NATO) (Altitude blocks for deconfliction and identification of inbound/outbound air traffic)4) Медицина: Thiamine Lethal5) Спорт: Tournament Level6) Военный термин: Target Locations, Trailer Life, target list, technical letter, test laboratory, test load, time lengths, total load, transmittal letter, transporter loader, troop leader7) Техника: Top Left, Top Loader, Top Low, Trim And Lining, talk-listen, thermoluminescence, threshold logic, tracker lock, Tan Line( линия сопряжения (обечайки с днищем))8) Шутливое выражение: Terrible Lizard, Tough And Long, Turd Launcher9) Математика: Tree List, Trigram Lines, длительность (time length), продолжительность (time length)11) Грубое выражение: Thrills The Ladies, Tight Lips12) Музыка: Tempo Loss, Tune Light13) Оптика: transforming lens14) Политика: Tokelau15) Телекоммуникации: Telephone Lead16) Сокращение: Civil aircraft marking (Central African Republic), Tagalog, Technical Library, Truck Load (see also LTL), Turkish Lira, Turkish Liras, thrust line, tie line, time limit, trial17) Текстиль: Teeny Little18) Университет: Tech Level, Technology Level, Term Levels19) Физика: Temporal Logic, Time Line, Top Layer20) Физиология: Tubal ligation21) Школьное выражение: Thomas Lincoln22) Электроника: Transmission Loss23) Сленг: комплимент (обычно ответный), когда тот, кому первому сделали комплимент, смущён этим обстоятельством24) Вычислительная техника: transmission level, transmission line, Transform and Lighting (3D), Telecommunication Leadership (standard, QuEST)25) Нефть: temperature log26) Биохимия: Total Lipid27) Рыбоводство: Target Loss28) Банковское дело: ссуда с определённым сроком погашения (time loan)29) Транспорт: The Loop, Touring Luxury, Trailer Load, Truckload30) Пищевая промышленность: Totally Loaded31) Фирменный знак: Transfer Listed, Treasured Learning32) Экология: tolerance limit33) СМИ: The Lattice, Thin Line, Title Line, True Life34) Глоссарий компании Сахалин Энерджи: tangent line35) Инвестиции: time loan36) Сетевые технологии: Transport Layer37) ЕБРР: Team Leader38) Полимеры: time length, tubeless39) Программирование: Type Locality40) Автоматика: tool, transfer line, автоматическая линия41) Полупроводники: tunneling-electron luminescence42) Сахалин Ю: low pressure condensate44) Макаров: термолюминесценция45) Пожарное дело: turntable ladder46) Нефть и газ: telephone, ответственность за ущерб государству и третьим лицам, ответственность за ущерб природе и третьим лицам, ущерб государству и третьим лицам, ущерб природе и третьим лицам, TPL47) Карачаганак: trunk line48) Имена и фамилии: Timothy Leary, Tory Lee, Trent Lott49) Евросоюз: турецкие лиры50) Общественная организация: Tough Love51) Должность: Test Leader52) Чат: True Love53) Программное обеспечение: Top Level54) Единицы измерений: True Length55) СМС: Tough Luck56) Библиотечное дело: Toronto Libraries
- 1
- 2
См. также в других словарях:
Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… … Wikipedia
Temporal logic of actions — (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.Statements in temporal logic of the form [A] t, where A is an action and t contains a… … Wikipedia
Temporal logic in finite-state verification — In finite state verification, model checkers examine finite state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system. In the event … Wikipedia
Temporal Logic of Actions — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… … Deutsch Wikipedia
temporal logic — noun A form of symbolic logic used to reason about properties of statements related to order and duration … Wiktionary
Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences … Wikipedia
Linear temporal logic — (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true,… … Wikipedia
Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… … Deutsch Wikipedia
Linear Time Temporal Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
Temporal — can refer to: * of or relating to time ** Temporal database, a database recording aspects of time varying values ** The Temporal power of the Popes of the Roman Catholic Church ** a Lord Temporal, secular member of the House of Lords ** Temporal… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia